Software bug

Results: 2336



#Item
161Applied mathematics / Formal verification / Specification / Theoretical computer science / Evaluation / Formal methods / Software bug / Parsing

LangSec: Recognition, Validation, and Compositional Correctness for Real World Security Mission Statement. Language-theoretic security (LangSec) is a design and programming philosophy that focuses on formally correct and

Add to Reading List

Source URL: langsec.org

Language: English - Date: 2014-12-19 03:59:22
162Evaluation / Exploratory testing / Test automation / Unit testing / International Software Testing Qualifications Board Certified Tester / Quality assurance / Software bug / Software testing controversies / Game testing / Software testing / Software quality / Software development

testingexperience01_08.pdf

Add to Reading List

Source URL: www.istqb.org

Language: English - Date: 2013-05-09 11:08:00
163Hemiptera / Biology / Agronomy / Integrated pest management / Soil chemistry / Bed bug / Land management / Orkin / Software bug / Pest control / Agriculture / Biological pest control

StopPests in Housing Program The goal of the StopPests in Housing Program is to use Integrated Pest Management (IPM) to address housing conditions that threaten human health and strengthen affordable housing communities.

Add to Reading List

Source URL: www.stoppests.org

Language: English - Date: 2015-03-12 14:36:46
164Programming language implementation / Compilers / Debugging / Data types / Compiler construction / Software bug / GNU Compiler Collection / Undefined behavior / Compilation error / Computing / Software engineering / Computer programming

Test-Case Reduction for C Compiler Bugs John Regehr Yang Chen Pascal Cuoq

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2012-04-02 13:18:35
165Application software / Donald Knuth / Digital typography / Desktop publishing software / TeX / Font / Typography / Typesetting / Publishing

Bug or Feature? formatting to, idealize, isolate, discriminate, distinguish, screen, pigeonhole, pick over, sort, integrate, blend, inspect, filter, lump, skip, smooth, chunk, average, approximate, cluster,

Add to Reading List

Source URL: ntg.nl

Language: English - Date: 1999-05-31 20:29:48
166Software bugs / Mattresses / Furniture / Bed bug / Bed / Box-spring / Bug / Infant bed / Infinite loop / Bedding / Home / Beds

BED BUG CONTROL BED BUG CONTROL 205

Add to Reading List

Source URL: www.mda.gov.mb.ca

Language: English - Date: 2014-12-03 16:34:44
167Delimiter / Pattern matching / C / Bracket / Array data type / Synthetic division / Computing / Software engineering / Computer programming

The delarray package∗ David CarlisleThis file is maintained by the LATEX Project team. Bug reports can be opened (category tools) at http://latex-project.org/bugs.html.

Add to Reading List

Source URL: ctan.sciserv.eu

Language: English - Date: 2015-04-12 16:30:12
168Computing / Computer law / Open-source software / Software bug / Open source / Debian / Bug tracking system / MediaWiki / Software maintenance / Software / Software licenses / Free software

1 Out of the Lab, Into the Wild: Growing Open Source Communities around Academic Projects Academic researchers develop large amounts of software, be it for validating a hypothesis, for illustrating a new approach, or me

Add to Reading List

Source URL: korrekt.org

Language: English - Date: 2012-03-20 09:42:10
169Software / Code coverage / Software bug / Test automation / Software quality / DO-178B / Avionics software / Non-regression testing / Software testing / Software development / Software engineering

White paper How to measure embedded systems software test quality Copyright Notice

Add to Reading List

Source URL: www.atollic.com

Language: English - Date: 2013-08-14 09:54:45
170Macro programming languages / Transformation languages / LaTeX / TeX / Macro / C preprocessor / Man page / Make / Preprocessor / Software / Computing / Application software

The doc and shortvrb Packages∗ Frank Mittelbach† May 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category latex) at http://latex-project.org/bugs.html.

Add to Reading List

Source URL: ctan.uniminuto.edu

Language: English - Date: 2015-05-12 06:23:16
UPDATE